predicate calculuss中文什么意思

predicate calculus
【數(shù)學(xué)、邏輯學(xué)】謂詞演算,命題函項(xiàng)演算(數(shù)理邏輯的基本組成部分,即 functional calculus) [亦作 predicate logic]

predicate: n. 1.【語法】謂語，述語。 2.【邏輯學(xué)】謂項(xiàng)，述項(xiàng)，述詞，賓詞。 3.本質(zhì)；屬性。 adj. 謂語的，述語的；謂項(xiàng)的，述項(xiàng)的。 vt. 1.論斷，斷言；斷定…為某物的屬性；斷定某物有…的屬性 (about; of)。 2.〔美國〕使(聲明、行動(dòng)等)依據(jù)于 (on; upon), 使基于。 3.宣言，宣布，聲明。 4.意味著，具有…的含義。 5.【語法】表述。 vi. 斷言 (of)。 Can anything be predicated about a non-existent thing 能夠表述不存在的東西嗎？ (We) predicate of the motive that it is good. (我們)斷言這個(gè)動(dòng)機(jī)是好的。
predicate of: n變?cè)^詞; 變項(xiàng)謂詞
predicate on: 使基于
actional predicate: 動(dòng)作謂語
adjective predicate: 形容詞謂語

下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

更多例句：下一頁

the atomic formula is called atom for short in predicate calculus
在謂詞演算中,有時(shí)將原子公式簡稱為原子。
this is not expressible as a first-order predicate calculus property
這就是一個(gè)一階謂詞演算不可表述的屬性。
also, first-order predicate calculus isn't good enough anyway
同時(shí)，從各方面來說，一階謂詞演算都不是足夠好。
this kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus
這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語言擴(kuò)展，于是一些人建議引入一階謂詞演算。
this kind of assertion seems to require special \ r \ nlanguage extensions and has led people to suggest introducing \ r \ nfirst-order predicate calculus
這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語言擴(kuò)展，于是一些人建議引入一階謂詞演算。

√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片